Evaluating Debugging Algorithms from a Qualitative Perspective
نویسندگان
چکیده
A bottleneck during hardware design is the localization and the correction of faults – so-called debugging. Several approaches for automation of debugging have been proposed. This paper describes a methodology for evaluation and comparison of automated debugging algorithms. A fault model for faults occurring in SystemC descriptions at design time or during implementation is an essential part of this methodology. Each type of fault is characterized by mutations on the program dependence graph. The presented methodology is applied to evaluate the capability of a simulation based debugging procedure.
منابع مشابه
Evaluating Debugging Algorithms from a Qualitative Perspective∗ Alexander Finder
A bottleneck during hardware design is the localization and the correction of faults – so-called debugging. Several approaches for automation of debugging have been proposed. This paper describes a methodology for evaluation and comparison of automated debugging algorithms. A fault model for faults occurring in SystemC descriptions at design time or during implementation is an essential part of...
متن کاملTowards Qualitative Models of Interactions in Evolutionary Algorithms
Most of today’s theory and empirical work cannot serve as a foundation for designing or applying evolutionary algorithms in novel areas of application. This article proposes qualitative models of interactions in evolutionary algorithms as a means to close that gap. It presents a knowledge representation in the form of a hypergraph and exemplifies the integration of empirical results into the mo...
متن کاملParallel Matrix Computations
In this article we develop some algorithms and tools for solving matrix problems on parallel processing computers. Operations are synchronized through data-flow alone, which makes global synchronization unnecessary and enables the algorithms to be implemented on machines with very simple operating systems and communication protocols. As examples, zve present algorithms that form the main module...
متن کاملA Framework for Benchmarking Haptic Systems
As more and more haptic rendering algorithms are developed, the need for evaluation and comparison is becoming more pressing. However, evaluating and comparing haptic rendering algorithms presents two challenges. First, haptic systems provide bidirectional communication between humans and the computer. Therefore, the outputs of such systems are highly reliant on human inputs, which are hard to ...
متن کاملGlobal Snapshots for Distributed Debugging: An Overview
The widespread adoption of distributed computing has accentuated the need for an eeective set of support tools to facilitate debugging and monitoring. In providing such support, one fundamental problem is that of constructing a global snapshot or global state of a distributed computation. This paper examines global snapshot algorithms from a distributed debugging perspective, and proposes an ab...
متن کامل